Modus Ponens
モーダスポネンス_
,
分離規則_
ゲンツェンの自然演繹(NK)
の「→除去規則」のこと
「前件肯定式」などともいう
$ \frac{A\rightarrow B\quad A}{B}(\rightarrow E)